The particle-hole map: Formal derivation and numerical implementation
نویسندگان
چکیده
منابع مشابه
Formal Derivation and Implementation of Divide-and-Conquer on a Transputer Network
This paper considers parallel program development based on functional mutually recursive speciications. The development yields a communication structure linking an arbitrary xed number of processors and an SPMD program executable on the structure. There are two steps in the development process: rst, a parallel functional implementation is obtained through formal transformations in the Bird-Meer...
متن کاملAutomatic formal derivation of the oscillation condition
The behavior of a quartz crystal oscillator can be described by a nonlinear characteristic polynomial whose coefficients are function of the circuit parameters. Solving the polynomial in the frequency domain leads to the steady state oscillation amplitude and frequency. In the time domain, it gives the oscillator signal transient. Deriving the characteristic polynomial from the circuit descript...
متن کاملFormal Derivation of CSP Programs
The algebra of relations has been very successful for reasoning about possibly non-deterministic programs, provided their behaviour can be fully characterized by just their initial and nal states. We use a slight generalization, called sequential algebra, to extend the scope of relation-algebraic methods to reactive systems, where the behaviour between initiation and termination is also importa...
متن کاملFormal Derivation of Distributed MapReduce
MapReduce is a powerful distributed data processing model that is currently adopted in a wide range of domains to efficiently handle large volumes of data, i.e., cope with the big data surge. In this paper, we propose an approach to formal derivation of the MapReduce framework. Our approach relies on stepwise refinement in Event-B and, in particular, the event refinement structure approach – a ...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Chemical Physics
سال: 2016
ISSN: 0021-9606,1089-7690
DOI: 10.1063/1.4966036